<html>
<head><meta charset="utf-8"><title>Tiny contribution · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html">Tiny contribution</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212674861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212674861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212674861">(Oct 08 2020 at 11:19)</a>:</h4>
<p>Is there a tiny contribution that I could help out with that anyone has in mind? Preferably on the rustc side. Please let me know!<br>
(<span class="user-mention" data-user-id="232957">@Jack Huey</span>)</p>



<a name="212688213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212688213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212688213">(Oct 08 2020 at 13:22)</a>:</h4>
<p>Do you mean tiny with respect to code size or complexity? <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>



<a name="212694471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212694471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212694471">(Oct 08 2020 at 14:06)</a>:</h4>
<p>The ty.kind -&gt; ty.data change is not small, but it is pretty straightforward.</p>



<a name="212694645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212694645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212694645">(Oct 08 2020 at 14:08)</a>:</h4>
<p>/me was thinking precisely about that</p>



<a name="212747064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212747064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212747064">(Oct 08 2020 at 20:47)</a>:</h4>
<p>I'll read a bit about that to see whether it's feasible, let me get back to you. Thanks so far!</p>



<a name="212756621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212756621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212756621">(Oct 08 2020 at 22:24)</a>:</h4>
<p>Could you point me to some discussions around what exactly is meant by that change?</p>



<a name="212756675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212756675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212756675">(Oct 08 2020 at 22:25)</a>:</h4>
<p>I found some mentions on Zulip, but no clear explanation of what exactly this change means. Or is it just a rename?</p>



<a name="212756687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212756687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212756687">(Oct 08 2020 at 22:25)</a>:</h4>
<p>This bit is just a rename</p>



<a name="212756718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212756718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212756718">(Oct 08 2020 at 22:25)</a>:</h4>
<p><code>TyKind</code> -&gt; <code>TyData</code> and <code>ty.kind()</code> -&gt; <code>ty.data()</code></p>



<a name="212800210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212800210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212800210">(Oct 09 2020 at 09:08)</a>:</h4>
<p>That's no problem, I can do that!</p>



<a name="212876014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212876014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212876014">(Oct 09 2020 at 21:08)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> or <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span>  could you take a look at <a href="https://github.com/rust-lang/rust/pull/77768">#77768</a> and let me know whether this goes in the right direction?</p>



<a name="212878382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212878382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212878382">(Oct 09 2020 at 21:36)</a>:</h4>
<p>LGTM</p>



<a name="212878395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212878395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212878395">(Oct 09 2020 at 21:36)</a>:</h4>
<p>What else is left to do?</p>



<a name="212878618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212878618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212878618">(Oct 09 2020 at 21:39)</a>:</h4>
<p>Seems like a lint test needs fixing</p>



<a name="212879685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212879685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212879685">(Oct 09 2020 at 21:52)</a>:</h4>
<p>I'm puzzling on that lint test and I still need to carefully look that I didn't miss anything.</p>



<a name="212879991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212879991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212879991">(Oct 09 2020 at 21:57)</a>:</h4>
<p>You probably need to rename the diagnostic item for <code>TyKind</code></p>



<a name="212880040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212880040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212880040">(Oct 09 2020 at 21:57)</a>:</h4>
<p>We don't automatically detect any mismatches there</p>



<a name="212880111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Tiny%20contribution/near/212880111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Tiny.20contribution.html#212880111">(Oct 09 2020 at 21:58)</a>:</h4>
<p>added a comment to the PR</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>